Resultaten visas 1 - 10 / 21032
resultat / per sida
Vilka publikationsuppgifter finns i tjänsten?
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon

Conceptual intermediate structures for interaction design in complex safety-critical systems

Referentgranskad
DOI
10.1007/978-981-13-5974-3_17
Kant, Vivek; Wahlström, Mikael
Smart Innovation, Systems and Technologies2019Publicationer information ikon

Towards a Formal Approach to Analysing Security of Safety-Critical Systems

Referentgranskad
DOI
10.1109/EDCC.2018.00040
Inna Vistbakka; Elena Troubitsyna
14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 20182018Publicationer information ikon

Risk-informed optimization of mitigation strategies in safety-critical systems

Öppen tillgång
Mancuso, Alessandro
Aalto University2020Publicationer information ikon

Diversity requirements for safety critical software-based automation systems

Korhonen, Jukka; Pulkkinen, Urho; Haapanen, Pentti
STUK-YTO-TR1998Publicationer information ikon

Methodologies Used in Computerized Decision Support Systems of Safety Critical Processes - Comparison to Finnish Industry

Referentgranskad
Sirola, Miki
-2000Publicationer information ikon

Reliability estimation of safety-critical software-based systems using bayesian networks

Öppen tillgång
Helminen, Atte
STUK-YTO-TR2001Publicationer information ikon

Computerized Decision Support Systems in Failure and Maintenance Management of Safety Critical Processes

Sirola, M.
-1999Publicationer information ikon

Applicability of systems-theoretic methods in the safety assessment of autonomous port logistics

Heikkilä, Eetu; Tiusanen, Risto
The 28th Safety-Critical Systems Symposium 20202020Publicationer information ikon

Combined use of formal methods for reliability assurance of software for safety-critical systems

Öppen tillgång
Buzhinskii, Igor
Aalto University2019Publicationer information ikon

Safety Analysis for Architecting Safety-Critical Systems

Referentgranskad
Elena Troubitsyna
Proceedings of 30th International System Safety Conference2013

Conceptual intermediate structures for interaction design in complex safety-critical systems

Referentgranskad
DOI
10.1007/978-981-13-5974-3_17
2019

Towards a Formal Approach to Analysing Security of Safety-Critical Systems

Referentgranskad
DOI
10.1109/EDCC.2018.00040
2018

Risk-informed optimization of mitigation strategies in safety-critical systems

Öppen tillgång
2020

Diversity requirements for safety critical software-based automation systems

1998

Methodologies Used in Computerized Decision Support Systems of Safety Critical Processes - Comparison to Finnish Industry

Referentgranskad
2000

Reliability estimation of safety-critical software-based systems using bayesian networks

Öppen tillgång
2001

Computerized Decision Support Systems in Failure and Maintenance Management of Safety Critical Processes

1999

Applicability of systems-theoretic methods in the safety assessment of autonomous port logistics

2020

Combined use of formal methods for reliability assurance of software for safety-critical systems

Öppen tillgång
2019

Safety Analysis for Architecting Safety-Critical Systems

Referentgranskad
2013